@prefix: edt;

.block-element() {
  display: block;
  height: 100%;
}

@edt-border-color: #d9d9d9;
@edt-card-border: 1px solid @edt-border-color;
@edt-card-title-color: #666;

@edt-component-item-color: #333;
@edt-component-item-bg-color: #f4f6fc;
@edt-component-item-border: 1px solid @edt-component-item-bg-color;
@edt-component-item-hover-color: @primary-color;


@edt-workspace-panel-bg-color: #fafafa;
